Using Event-B to construct instruction set architectures
نویسندگان
چکیده
منابع مشابه
Energy-Exposed Instruction Set Architectures
Power consumption is emerging as a key factor limiting computational performance in both mobile and tethered systems. Although there has been significant progress in low-power circuit design and low-power CAD and some work in low-power microarchitectures, there has been little work to date at the level of instruction set architecture (ISA) design for low power computing. Modern ISAs such as RIS...
متن کاملCustomizing Vector Instruction Set Architectures
Data Level Parallelism(DLP) can be exploited in order to improve the performance of processors for certain workload types. There are two main application fields that rely on DLP, multimedia and scientific computing. Most of the existing multimedia vector extensions use sub-word parallelism and wide data paths for processing independent, mainly integer, values in parallel. On the other hand, cla...
متن کاملTrends in programmable instruction-set processor architectures
A computer is a system which processes data according to a specified algorithm. It contains one or more programmable (in the sense that the user can specify its operation) digital processors, also called central processing units (CPUs), memory for storing data and instructions, and input and output devices1. The science which researches the design of those systems is called computer architectur...
متن کاملInstruction Set Architectures for Quantum Processing Units
Progress in quantum computing hardware raises questions about how these devices can be controlled, programmed, and integrated with existing computational workflows. We briefly describe several prominent quantum computational models, their associated quantum processing units (QPUs), and the adoption of these devices as accelerators within high-performance computing systems. Emphasizing the inter...
متن کاملFormal construction of Instruction Set Architectures
The Instruction Set Architecture (ISA) is that part of a computing machine visible for programming, including its native data types, instructions, registers, memory architecture, exception handling and external interfaces. The ISA also includes the specification of the machine’s native language: that is its instructions and their actions. This thesis proposes the use of the Event-B formal notat...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Formal Aspects of Computing
سال: 2010
ISSN: 0934-5043,1433-299X
DOI: 10.1007/s00165-009-0142-7